Using an Expressive Description Logic: FaCT or Fiction?
نویسنده
چکیده
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description language is formally defined, so that the subsumption relationship between two concept descriptions can be computed by a suitable algorithm. Description Logics have proved useful in a range of applications but their wider acceptance has been hindered by their limited expressiveness and the intractability of their subsumption algorithms. This paper addresses both these issues by describing a sound and complete tableaux subsumption testing algorithm for a relatively expressive Description Logic which, in spite of the logic’s worst case complexity, has been shown to perform well in realistic applications.
منابع مشابه
A Generator for Description Logic Formulas
We introduce a schema for generating random formulas for different description logics, which extends an existing pattern for modal logics. Using the DL reasoners FaCT and Racer, we test the difficulty of these formulas, and it turns out that the properties that make a formula in an expressive DL hard are quite different from those known for ALC formulas.
متن کاملDLP and FaCT
DLP [Patel-Schneider(1998)] and FaCT [Horrocks(1998)] are two recent description logic systems that contain sound and complete reasoners for expressive description logics. Due to the equivalences between expressive description logics and propositional modal logics, both DLP and FaCT can be used as satisfiability checkers for propositional modal logics. FaCT is a full-featured system that contai...
متن کاملUsing Iron-Chelating Agents in Critically Ill Patients with Iron Overload. Fact or Fiction?
Recently, some evidence has shown that the failure of iron homeostasis may occur in critically ill patients and can lead to iron overload. Elevated ferritin levels as a body iron burden index in critically ill patients may be associated with depressed level of consciousness and greater mortality. However, the necessity of using iron-chelating agents in clinical situation is still unknown for th...
متن کاملPerformance of DLP on Random Modal Formulae
A system that correctly reasons with information in an expressive description logic includes a decision procedure for an expressive propositional modal logic. This decision procedure must be heavily optimised if it is to be able to usefully reason with knowledge bases of any complexity. Description logic systems that incorporate a heavily-optimised propositional modal logic decision procedure i...
متن کاملFaCT and iFaCT
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier which has been implemented as a test-bed for a sound and complete tableaux satisfiability/subsumption testing algorithm. FaCT’s novelty lies in its relatively expressive logic and its highly optimised implementation of the tableaux algorithm. iFaCT is an extension of FaCT that supports reasoning with inverse role...
متن کامل